-
1 формальная семантика
Большой англо-русский и русско-английский словарь > формальная семантика
-
2 formal semantics
Большой англо-русский и русско-английский словарь > formal semantics
-
3 formal semantics
English-Russian dictionary of computer science and programming > formal semantics
-
4 formal semantics
-
5 formal semantics
Англо-русский словарь по исследованиям и ноу-хау > formal semantics
-
6 formal semantics
-
7 inheritance semantics
-
8 formal semantics
Prolog proved to be an excellent tool for illustrating the formal semantics of programming languages. (К. Slonneger) — Пролог оказался превосходным инструментом для иллюстрирования формальной семантики языков программирования см. тж. semantics
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal semantics
-
9 denotational semantics
-
10 general semantics
-
11 operational semantics
-
12 formal semantics
Вычислительная техника: формальная семантика -
13 formal semantics
мат.
См. также в других словарях:
Формальная семантика — Для термина «семантика» см. другие значения. Формальная семантика это изучение семантики, или интерпретации, формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Семантика (значения) — Семантика (от др. греч. σημαντικός обозначающий): В Викисловаре есть статья « … Википедия
Формальная грамматика — Генеративная лингвистика … Википедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
СЕМАНТИКА — в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание… … Математическая энциклопедия
Порождающая семантика — Генеративная лингвистика … Википедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия